FURSTENBERG S THEOREM ON PRODUCTS OF I.I.D. 2 ˆ 2 MATRICES
|
|
- Willis Lamb
- 5 years ago
- Views:
Transcription
1 FURSTENBERG S THEOREM ON PRODUCTS OF I.I.D. 2 ˆ 2 MATRICES JAIRO BOCHI Abstract. This is a revised version of some notes written ą 0 years ago. I thank Anthony Quas for pointing to a gap in the previous proof of Lemma 5 and for providing a correct proof. These notes follow [BL]. We deal with Lyapunov exponents of products of random i.i.d. 2 ˆ 2 matrices of determinant. Let SL p2, Rq denote the group of such matrices. Let µ be a probability measure in SL p2, Rq which satisfies the integrability condition log }M} dµpmq ă 8. SL p2,rq If Y, Y 2,... are random independent matrices with distribution µ, then the limit γ lim nñ8 n log }Y n Y } (the upper Lyapunov exponent) exists a.s. and is constant, by the subadditive ergodic theorem. We have γ ě 0. The Furstenberg theorem says that γ ą 0 for most choices of µ. Let us see some examples where γ 0: () If µ is supported in the orthogonal group Op2q then γ 0. (2) If µ is supported in the abelian subgroup * "ˆt 0 0 t ; t P Rzt0u then γ ş log }M} dµpmq, which may be zero. (3) Assume that only two matrices occur: ˆ ˆ2 0 0 and R 0 {2 π{2. 0 Then it is a simple exercise to show that γ 0. Furstenberg s theorem says that the list above essentially covers all possibilities where the exponent vanishes: Date: May 9, 206. Note that }M} }M } ě if M P SL p2, Rq.
2 2 FURSTENBERG S THEOREM Theorem. Let µ be as above, and let G µ be the smallest closed subgroup which contains the support of µ. Assume that: (i) G µ is non compact. (ii) There is no finite set H L Ă P such that MpLq L for all M P G µ. Then γ ą 0. Remark. Condition (i) is equivalent to: (i ) There is no C P GLp2, Rq such that CMC is an orthogonal matrix, for all M P G µ. Remark. Under the assumption (i), condition (ii) is equivalent to: (ii ) There is no set L Ă P with #L or 2 and such that MpLq L for all M P G µ. (This follows from the fact that if M P SL p2, Rq fixes three different directions then M I.) Non-atomic measures in P Let MpP q be the space of probability Borel measures in P. A measure ν P MpP q is called non-atomic if νptxuq 0 for all x P P. We collect some simple facts for later use. If A P GLp2, Rq then we also denote by A the induced map A: P Ñ P. If A in not invertible but A 0 then there is only one direction x P P for which Ax is not defined. In this case, it makes sense to consider the push-forward Aν P MpP q, if ν P MpP q is non-atomic. Lemma. If ν P MpP q is non-atomic and A n is a sequence of non-zero matrices converging to A 0, then A n ν Ñ Aν (weakly). The proof is easy. Lemma 2. If ν P MpP q is non-atomic then is a compact subgroup of SL p2, Rq. H ν tm P SL p2, Rq; Mν νu Proof. Assume that there exists a sequence M n in H ν with }M n } Ñ 8. Up to taking a subsequence, we may assume that the sequence (of norm matrices) }M n } M n converges to a matrix C. Since C 0, Lemma gives Cν ν. On the other hand, det C lim }M n } 2 0. Thus C has rank one and ν Cν must be a Dirac measure, contradiction.
3 FURSTENBERG S THEOREM 3 µ-stationary measures in P If ν P MpP q, let the convolution µ ν P MpP q is the push-forward of the measure µˆν by the natural map ev: SL p2, RqˆP Ñ P. If µ ν ν then ν is called µ-stationary. By a Krylov Bogolioubov argument, µ-stationary measures always exist. Lemma 3. If µ satisfies the assumptions of Furstenberg s theorem then every µ-stationary ν P MpP q is non-atomic. Proof. Assume that β max νptxuq ą 0. xpp Let L tx P P ; νptxuq βu. If x 0 P L then β νptx 0 uq pµ νqptx 0 uq χ tx0 upmxq dµpmq dνpxq νptm px 0 quq dµpmq. But νptm px 0 quq ď β for all M, so νptm px 0 quq ď β for µ-a.e. M. We have proved that M plq Ă L for µ-a.e. M. This contradicts assumption (ii). From now on we assume that µ satisfies the assumptions of Furstenberg s theorem, and that ν is a (non-atomic) µ-stationary measure in P. ν and γ The shift σ : SL p2, Rq N Ðâ in the space of sequences ω py, Y 2,...q has the ergodic invariant measure µ N. Consider the skew-product map T : SL p2, Rq NˆP Ðâ, T pω, xq pσpωq, Y pωqxq. Consider f : SL p2, Rq N ˆ P Ñ R given by fpω, xq log }Y pωqx}. (The notation is obvious). Then nÿ fpt j pω, xqq n n log }Y npωq Y pωqx}. by Oseledets theorem, for a.e. ω and for all x P P ztepxqu, 2 the quantity on the right hand side tends to γ as n Ñ 8. In particular, this convergence holds for µ N ˆ ν-a.e. pω, xq. We conclude that () γ f dµ N dν log }Mx} dµpmq dνpxq. 2 Epxq is the direction associated to the exponent γ, if γ ą 0.
4 4 FURSTENBERG S THEOREM Convergence of push-forward measures Let S n pωq Y pωq Y n pωq. Lemma 4. For µ N -a.e. ω, there exists ν ω P MpP q such that S n pωqν Ñ ν ω. Proof. Fix f P CpP q. Associate to f the function F : SL p2, Rq Ñ R given by F pmq fpmxq dνpxq. Let F n be the σ-algebra of SL p2, Rq N formed by the cylinders of length n; then S n p q is F n -measurable. Also EpF ps n` q F n q F ps n Mq dµpmq fps n Mxq dµpmq dνpxq fps n yq dνpyq F ps n q (since µ ν µ). This shows that the sequence of functions ω ÞÑ F ps n pωqq is a bounded martingale. Therefore the limit Γfpωq lim nñ8 F ps n pωqq exists for a.e. ω. Now let f k ; k P N be a countable dense subset of CpP q. Take ω in the full-measure set where Γf k pωq exists for all k. Let ν ω be a (weak) limit point of the sequence of measures S n pωqν. Then f k dν ω lim nñ8 f k dps n νq lim nñ8 f k S n dν Γf k pωq. Since the limit is the same for all subsequences, we have in fact that S n pωqν Ñ ν ω. Let s explore the construction of the measures to obtain more information about them: Lemma 5. The measures ν ω from Lemma 4 satisfy S n pωqmν Ñ ν ω as n Ñ 8 for µ-a.e. M. Proof. We show that for any fixed f k from the sequence above that for µ-a.e. M, that ş f k ps n pωqmxq dνpxq Ñ ş f k dν ω pxq for µ N almost every ω. Let F k : SL p2, Rq Ñ R be the function introduced above corresponding to f k. Given this, by taking the intersection over countably many sets ş of full µ-measure, we obtain a set of M s of full measure on which fpsn pωqmxq dνpxq Ñ ş f dν ω pxq for µ N -a.e. ω for all f P CpP q, that is, weak convergence of S n pωqmν to ν ω.
5 We consider the expression «ÿ 8 ˆ I E f k ps n pωqmxq dνpxq n FURSTENBERG S THEOREM 5 2ff f k ps n pωqxq dνpxq dµpm q, where E denotes integration in the ω variable with respect to µ N. We establish below that I ă 8. From this is follows that the quantity in the brackets is finite for µ N -a.e. ω and µ-a.e. M. It follows that for µ N -a.e. ω and µ-a.e. M, ş f k ps n pωqmxq dνpxq ş f k ps n pωqxq dνpxq Ñ 0. However for µ N -a.e. ω, we have ş f k ps n pωqxq dνpxq Ñ ş f k pxq dν ω pxq. Combining these, we obtain the desired result. To prove that I ă 8, we note that 8ÿ ˆ 2 I E f k ps n pωqmxq dνpxq f k ps n pωqxq dνpxq dµpm q. n Now define I n by ˆ I n E f k ps n pωqmxq dνpxq E F k ps n pωqmq F k ps n pωq 2 dµpmq 2 f k ps n pωqxq dνpxq dµpmq E F 2 k ps n pωqmq 2 2F k ps n pωqmqf k ps n pωqq ` F k ps n pωqq dµpm q. Notice that the distribution of conditional distribution of S n` pωq given S n pωq is the same as that of S n pωqm. Hence I n E F 2 k ps n` pωqq 2 2F k ps n` pωqqf k ps n pωqq ` pf k ps n pωqq. Notice E F k ps n` ωqf k ps n pωq E E ˇ E F k ps n` ωqf k ps n pωqˇf n F k ps n pωqqepf k ps n` pωqq F n q EpF k ps n pωqq 2, where we used the tower law for conditional expectations for the second equality. Hence I n EF k ps n` pωqq 2 EF k ps n pωqq 2. Now I lim Nÿ NÑ8 n I n lim NÑ8 EF kps N` pωqq 2 EF k ps pωqq 2 ď }f k } 2. The limit measures are Dirac Lemma 6. For µ N -a.e. ω, there exists Zpωq P P such that ν ω δ Zpωq. Proof. Fix a µ N -generic ω. By Lemma 5 we have, for µ-a.e. M, lim S n ν lim S n Mν.
6 6 FURSTENBERG S THEOREM Let B be a limit point of the sequence of norm matrices }S n } S n. Since }B}, we can apply Lemma : Bν BMν. If B were invertible, this would imply ν Mν. That is, a.e. M belongs to the compact group H ν (see Lemma 2) and therefore G ν Ă H ν, contradicting hypothesis (i). So B is non-invertible. Since Bν ν ω, we conclude that ν ω is Dirac. Convergence to Dirac implies norm growth Lemma 7. Let m P MpP q be non-atomic and let pa n q be a sequence in SL p2, Rq such that A n m Ñ δ z, where z P P. Then Moreover, for all v P R 2, }A n } Ñ 8. }A npvq} }A n } Ñ xv, zy. Proof. We may assume that the sequence A n {}A n } converges to some B. Since }B}, we can apply Lemma to conclude that Bm δ z. If B were invertible then we would have that m δ B z would be atomic. Therefore det B 0 and }A n } 2 ˇ ˇdet A n }A n } ˇ Ñ det B 0. So }A n } Ñ 8. Notice that the range of B must be the z direction. Let v n, u n be unit vectors such that A n v n }A n }u n. Then u n A npv n q }A n }. Since A n {}A n } Ñ B and }B}, we must have u n Ñ z (up to changing signs). Moreover, u n is the direction which is most expanded by A n. The assertion follows. (For a more elegant proof, see [BL, p. 25].) Convergence to 8 cannot be slower than exponential We shall use the following abstract lemma from ergodic theory: Lemma 8. Let T : px, mq Ðâ be a measure preserving transformation of a probability space px, mq. If f P L pmq is such that then ş f dµ ą 0. n ÿ fpt j xq `8 for m-almost every x,
7 FURSTENBERG S THEOREM 7 Proof. 3 For any function g, let g denote the limit of Birkhoff averages of g. Then f ě 0. Assume, for a contradiction, that ş f 0. Then f 0 a.e. Let s n ř n f T j. For ε ą 0, let A ε tx P X; s n pxq ě ě u and B ε ď kě0 T k pa ε q. Fix ε ą 0 and let x P B ε. Let k kpxq ě 0 be the least integer such that T k x P A ε. We compare the Birkhoff sums of f and χ Aε : n ÿ fpt j xq ě k ÿ n ÿ fpt j xq ` Dividing by n and making n Ñ 8 we get j k 0 fpxq ě εąχ Aε pxq εχ Aε pt j ě. Therefore µpa ε q Ąχ Aε Ąχ Aε 0. B ε Thus µpb ε q 0 for every ε ą 0 as well. On the other hand, if s n pxq Ñ 8 then x P Ť εą0 B ε. We have obtained a contradiction. End of the proof of the theorem. Replace everywhere Y i by Yi. Note that µ also satisfies the hypothesis of the theorem if µ does. 4 Let T and f be as in page 3. By Lemmas 6 and 7 we have nÿ fpt j pω, xqq log }S npωqx} Ñ 8 for a.e. ω and all x P P ztzpωq K u. In particular, convergence holds µ N ˆ ν- a.e. By Lemma 8, this implies ş f ą 0. Then, by (), γ ą 0. References [BL] P. Bougerol and J. Lacroix. Products of random matrices with applications to Schrödinger operators. Birkhäuser, 985. [F] H. Furstenberg. Non-commuting random products. Trans. AMS, 08: , This proof is a bit simpler than that in [BL]. 4 Because Apvq w ñ A pw K q v K.
THE MULTIPLICATIVE ERGODIC THEOREM OF OSELEDETS
THE MULTIPLICATIVE ERGODIC THEOREM OF OSELEDETS. STATEMENT Let (X, µ, A) be a probability space, and let T : X X be an ergodic measure-preserving transformation. Given a measurable map A : X GL(d, R),
More informationEntropy and Ergodic Theory Notes 22: The Kolmogorov Sinai entropy of a measure-preserving system
Entropy and Ergodic Theory Notes 22: The Kolmogorov Sinai entropy of a measure-preserving system 1 Joinings and channels 1.1 Joinings Definition 1. If px, µ, T q and py, ν, Sq are MPSs, then a joining
More informationEntropy and Ergodic Theory Lecture 27: Sinai s factor theorem
Entropy and Ergodic Theory Lecture 27: Sinai s factor theorem What is special about Bernoulli shifts? Our main result in Lecture 26 is weak containment with retention of entropy. If ra Z, µs and rb Z,
More informationREAL ANALYSIS II TAKE HOME EXAM. T. Tao s Lecture Notes Set 5
REAL ANALYSIS II TAKE HOME EXAM CİHAN BAHRAN T. Tao s Lecture Notes Set 5 1. Suppose that te 1, e 2, e 3,... u is a countable orthonormal system in a complex Hilbert space H, and c 1, c 2,... is a sequence
More informationGround States are generically a periodic orbit
Gonzalo Contreras CIMAT Guanajuato, Mexico Ergodic Optimization and related topics USP, Sao Paulo December 11, 2013 Expanding map X compact metric space. T : X Ñ X an expanding map i.e. T P C 0, Dd P Z`,
More informationEntropy and Ergodic Theory Notes 21: The entropy rate of a stationary process
Entropy and Ergodic Theory Notes 21: The entropy rate of a stationary process 1 Sources with memory In information theory, a stationary stochastic processes pξ n q npz taking values in some finite alphabet
More informationTHEOREM OF OSELEDETS. We recall some basic facts and terminology relative to linear cocycles and the multiplicative ergodic theorem of Oseledets [1].
THEOREM OF OSELEDETS We recall some basic facts and terminology relative to linear cocycles and the multiplicative ergodic theorem of Oseledets []. 0.. Cocycles over maps. Let µ be a probability measure
More informationEntropy and Ergodic Theory Lecture 17: Transportation and concentration
Entropy and Ergodic Theory Lecture 17: Transportation and concentration 1 Concentration in terms of metric spaces In this course, a metric probability or m.p. space is a triple px, d, µq in which px, dq
More informationEntropy and Ergodic Theory Lecture 28: Sinai s and Ornstein s theorems, II
Entropy and Ergodic Theory Lecture 28: Sinai s and Ornstein s theorems, II 1 Proof of the update proposition Consider again an ergodic and atomless source ra Z, µs and a Bernoulli source rb Z, pˆz s such
More informationEntropy and Ergodic Theory Lecture 19: The ergodic theorems
Entropy and Ergodic Theory Lecture 19: The ergodic theorems 1 Some history: the ergodic hypothesis Ergodic theory takes its name from the ergodic hypothesis. This is an old idea of Boltzmann in statistical
More informationChapter 4. Measure Theory. 1. Measure Spaces
Chapter 4. Measure Theory 1. Measure Spaces Let X be a nonempty set. A collection S of subsets of X is said to be an algebra on X if S has the following properties: 1. X S; 2. if A S, then A c S; 3. if
More informationRandom Variables. Andreas Klappenecker. Texas A&M University
Random Variables Andreas Klappenecker Texas A&M University 1 / 29 What is a Random Variable? Random variables are functions that associate a numerical value to each outcome of an experiment. For instance,
More informationADVANCE TOPICS IN ANALYSIS - REAL. 8 September September 2011
ADVANCE TOPICS IN ANALYSIS - REAL NOTES COMPILED BY KATO LA Introductions 8 September 011 15 September 011 Nested Interval Theorem: If A 1 ra 1, b 1 s, A ra, b s,, A n ra n, b n s, and A 1 Ě A Ě Ě A n
More informationPRODUCT MEASURES AND FUBINI S THEOREM
CHAPTER 6 PRODUCT MEASURES AND FUBINI S THEOREM All students learn in elementary calculus to evaluate a double integral by iteration. The theorem justifying this process is called Fubini s theorem. However,
More informationNOTES ON SOME EXERCISES OF LECTURE 5, MODULE 2
NOTES ON SOME EXERCISES OF LECTURE 5, MODULE 2 MARCO VITTURI Contents 1. Solution to exercise 5-2 1 2. Solution to exercise 5-3 2 3. Solution to exercise 5-7 4 4. Solution to exercise 5-8 6 5. Solution
More informationTHEOREMS, ETC., FOR MATH 516
THEOREMS, ETC., FOR MATH 516 Results labeled Theorem Ea.b.c (or Proposition Ea.b.c, etc.) refer to Theorem c from section a.b of Evans book (Partial Differential Equations). Proposition 1 (=Proposition
More information5 Birkhoff s Ergodic Theorem
5 Birkhoff s Ergodic Theorem Birkhoff s Ergodic Theorem extends the validity of Kolmogorov s strong law to the class of stationary sequences of random variables. Stationary sequences occur naturally even
More informationApproximation in the Zygmund Class
Approximation in the Zygmund Class Odí Soler i Gibert Joint work with Artur Nicolau Universitat Autònoma de Barcelona New Developments in Complex Analysis and Function Theory, 02 July 2018 Approximation
More informationRigidity of stationary measures
Rigidity of stationary measures Arbeitgemeinschaft MFO, Oberwolfach October 7-12 2018 Organizers: Yves Benoist & Jean-François Quint 1 Introduction Stationary probability measures ν are useful when one
More information3 hours UNIVERSITY OF MANCHESTER. 22nd May and. Electronic calculators may be used, provided that they cannot store text.
3 hours MATH40512 UNIVERSITY OF MANCHESTER DYNAMICAL SYSTEMS AND ERGODIC THEORY 22nd May 2007 9.45 12.45 Answer ALL four questions in SECTION A (40 marks in total) and THREE of the four questions in SECTION
More informationMET Workshop: Exercises
MET Workshop: Exercises Alex Blumenthal and Anthony Quas May 7, 206 Notation. R d is endowed with the standard inner product (, ) and Euclidean norm. M d d (R) denotes the space of n n real matrices. When
More informationarxiv: v2 [math.ca] 13 May 2015
ON THE CLOSURE OF TRANSLATION-DILATION INVARIANT LINEAR SPACES OF POLYNOMIALS arxiv:1505.02370v2 [math.ca] 13 May 2015 J. M. ALMIRA AND L. SZÉKELYHIDI Abstract. Assume that a linear space of real polynomials
More informationTHREE ZUTOT ELI GLASNER AND BENJAMIN WEISS
THREE ZUTOT ELI GLASNER AND BENJAMIN WEISS Abstract. Three topics in dynamical systems are discussed. In the first two sections we solve some open problems concerning, respectively, Furstenberg entropy
More informationSingular integral operators and the Riesz transform
Singular integral operators and the Riesz transform Jordan Bell jordan.bell@gmail.com Department of Mathematics, University of Toronto November 17, 017 1 Calderón-Zygmund kernels Let ω n 1 be the measure
More informationInformation Theory and Statistics Lecture 3: Stationary ergodic processes
Information Theory and Statistics Lecture 3: Stationary ergodic processes Łukasz Dębowski ldebowsk@ipipan.waw.pl Ph. D. Programme 2013/2014 Measurable space Definition (measurable space) Measurable space
More informationProbability and Measure
Part II Year 2018 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2018 84 Paper 4, Section II 26J Let (X, A) be a measurable space. Let T : X X be a measurable map, and µ a probability
More informationAsymptotic Analysis 1: Limits and Asymptotic Equality
Asymptotic Analysis 1: Limits and Asymptotic Equality Andreas Klappenecker and Hyunyoung Lee Texas A&M University 1 / 15 Motivation In asymptotic analysis, our goal is to compare a function f pnq with
More informationMultidimensional symbolic dynamics
Multidimensional symbolic dynamics (Minicourse Lecture 3) Michael H. chraudner Centro de Modelamiento Matemático Universidad de Chile mschraudner@dim.uchile.cl www.cmm.uchile.cl/ mschraudner 1st French-Chilean
More informationSigned Measures and Complex Measures
Chapter 8 Signed Measures Complex Measures As opposed to the measures we have considered so far, a signed measure is allowed to take on both positive negative values. To be precise, if M is a σ-algebra
More informationFUNCTIONAL ANALYSIS LECTURE NOTES: WEAK AND WEAK* CONVERGENCE
FUNCTIONAL ANALYSIS LECTURE NOTES: WEAK AND WEAK* CONVERGENCE CHRISTOPHER HEIL 1. Weak and Weak* Convergence of Vectors Definition 1.1. Let X be a normed linear space, and let x n, x X. a. We say that
More informationErgodic Theory and Topological Groups
Ergodic Theory and Topological Groups Christopher White November 15, 2012 Throughout this talk (G, B, µ) will denote a measure space. We call the space a probability space if µ(g) = 1. We will also assume
More informationCHAPTER I THE RIESZ REPRESENTATION THEOREM
CHAPTER I THE RIESZ REPRESENTATION THEOREM We begin our study by identifying certain special kinds of linear functionals on certain special vector spaces of functions. We describe these linear functionals
More informationIntegration and Fourier Theory. Lecture 14
Integration and Fourier Theory Lecture 4 Morten Grud Rasmussen March 5, 03 Trigonometric Series Denote the unit circle in the complex plane by T tx P C x u ( T for torus ). Note that R Q t ÞÑ e it P T
More informationDS-GA 1002: PREREQUISITES REVIEW SOLUTIONS VLADIMIR KOBZAR
DS-GA 2: PEEQUISIES EVIEW SOLUIONS VLADIMI KOBZA he following is a selection of questions (drawn from Mr. Bernstein s notes) for reviewing the prerequisites for DS-GA 2. Questions from Ch, 8, 9 and 2 of
More informationDisintegration into conditional measures: Rokhlin s theorem
Disintegration into conditional measures: Rokhlin s theorem Let Z be a compact metric space, µ be a Borel probability measure on Z, and P be a partition of Z into measurable subsets. Let π : Z P be the
More informationCONVERGENCE OF MULTIPLE ERGODIC AVERAGES FOR SOME COMMUTING TRANSFORMATIONS
CONVERGENCE OF MULTIPLE ERGODIC AVERAGES FOR SOME COMMUTING TRANSFORMATIONS NIKOS FRANTZIKINAKIS AND BRYNA KRA Abstract. We prove the L 2 convergence for the linear multiple ergodic averages of commuting
More informationEntropy and Ergodic Theory Lecture 13: Introduction to statistical mechanics, II
Entropy and Ergodic Theory Lecture 13: Introduction to statistical mechanics, II 1 Recap and an example Recap: A ta 1, a 2,... u is a set of possible states for a single particle, so a state for a system
More informationMarkov Chains. Andreas Klappenecker by Andreas Klappenecker. All rights reserved. Texas A&M University
Markov Chains Andreas Klappenecker Texas A&M University 208 by Andreas Klappenecker. All rights reserved. / 58 Stochastic Processes A stochastic process X tx ptq: t P T u is a collection of random variables.
More informationIntegration on Measure Spaces
Chapter 3 Integration on Measure Spaces In this chapter we introduce the general notion of a measure on a space X, define the class of measurable functions, and define the integral, first on a class of
More informationSpectral theory for compact operators on Banach spaces
68 Chapter 9 Spectral theory for compact operators on Banach spaces Recall that a subset S of a metric space X is precompact if its closure is compact, or equivalently every sequence contains a Cauchy
More informationMATH41011/MATH61011: FOURIER SERIES AND LEBESGUE INTEGRATION. Extra Reading Material for Level 4 and Level 6
MATH41011/MATH61011: FOURIER SERIES AND LEBESGUE INTEGRATION Extra Reading Material for Level 4 and Level 6 Part A: Construction of Lebesgue Measure The first part the extra material consists of the construction
More informationarxiv: v1 [math.gr] 1 Apr 2019
ON A GENERALIZATION OF THE HOWE-MOORE PROPERTY ANTOINE PINOCHET LOBOS arxiv:1904.00953v1 [math.gr] 1 Apr 2019 Abstract. WedefineaHowe-Moore propertyrelativetoasetofsubgroups. Namely, agroupg has the Howe-Moore
More informationPart II Probability and Measure
Part II Probability and Measure Theorems Based on lectures by J. Miller Notes taken by Dexter Chua Michaelmas 2016 These notes are not endorsed by the lecturers, and I have modified them (often significantly)
More informationErgodic Theorems. Samy Tindel. Purdue University. Probability Theory 2 - MA 539. Taken from Probability: Theory and examples by R.
Ergodic Theorems Samy Tindel Purdue University Probability Theory 2 - MA 539 Taken from Probability: Theory and examples by R. Durrett Samy T. Ergodic theorems Probability Theory 1 / 92 Outline 1 Definitions
More informationBackground on Metric Geometry, I. Facundo Mémoli Math and CSE Departments, OSU.
Math and CSE Departments, OSU. memoli@math.osu.edu 2014 Table of Contents 1. metric A question about nets metric metric : a first metric 2. Bibliography metric metric Burago, Burago and Ivanov s book [BBI01].
More informationIntegral Jensen inequality
Integral Jensen inequality Let us consider a convex set R d, and a convex function f : (, + ]. For any x,..., x n and λ,..., λ n with n λ i =, we have () f( n λ ix i ) n λ if(x i ). For a R d, let δ a
More informationAnalysis Comprehensive Exam Questions Fall 2008
Analysis Comprehensive xam Questions Fall 28. (a) Let R be measurable with finite Lebesgue measure. Suppose that {f n } n N is a bounded sequence in L 2 () and there exists a function f such that f n (x)
More informationTopological vectorspaces
(July 25, 2011) Topological vectorspaces Paul Garrett garrett@math.umn.edu http://www.math.umn.edu/ garrett/ Natural non-fréchet spaces Topological vector spaces Quotients and linear maps More topological
More informationL Enseignement Mathématique, t. 40 (1994), p AN ERGODIC ADDING MACHINE ON THE CANTOR SET. by Peter COLLAS and David KLEIN
L Enseignement Mathématique, t. 40 (994), p. 249-266 AN ERGODIC ADDING MACHINE ON THE CANTOR SET by Peter COLLAS and David KLEIN ABSTRACT. We calculate all ergodic measures for a specific function F on
More informationarxiv: v1 [math.ca] 4 Apr 2017
ON LOCALIZATION OF SCHRÖDINGER MEANS PER SJÖLIN Abstract. Localization properties for Schrödinger means are studied in dimension higher than one. arxiv:704.00927v [math.ca] 4 Apr 207. Introduction Let
More informationSome Concepts of Uniform Exponential Dichotomy for Skew-Evolution Semiflows in Banach Spaces
Theory and Applications of Mathematics & Computer Science 6 (1) (2016) 69 76 Some Concepts of Uniform Exponential Dichotomy for Skew-Evolution Semiflows in Banach Spaces Diana Borlea a, a Department of
More informationTHEORY OF PROBABILITY VLADIMIR KOBZAR
THEORY OF PROBABILITY VLADIMIR KOBZAR Lecture 3 - Axioms of Probability I Sample Space and Events. In probability theory, an experiment is any situation which has several possible outcomes, exactly one
More informationNOTES WEEK 13 DAY 2 SCOT ADAMS
NOTES WEEK 13 DAY 2 SCOT ADAMS Recall: Let px, dq be a metric space. Then, for all S Ď X, we have p S is sequentially compact q ñ p S is closed and bounded q. DEFINITION 0.1. Let px, dq be a metric space.
More informationThe Hopf argument. Yves Coudene. IRMAR, Université Rennes 1, campus beaulieu, bat Rennes cedex, France
The Hopf argument Yves Coudene IRMAR, Université Rennes, campus beaulieu, bat.23 35042 Rennes cedex, France yves.coudene@univ-rennes.fr slightly updated from the published version in Journal of Modern
More informationTempered Distributions
Tempered Distributions Lionel Fiske and Cairn Overturf May 9, 26 In the classical study of partial differential equations one requires a solution to be differentiable. While intuitively this requirement
More informationTHEOREMS, ETC., FOR MATH 515
THEOREMS, ETC., FOR MATH 515 Proposition 1 (=comment on page 17). If A is an algebra, then any finite union or finite intersection of sets in A is also in A. Proposition 2 (=Proposition 1.1). For every
More informationVARIATIONAL PRINCIPLE FOR THE ENTROPY
VARIATIONAL PRINCIPLE FOR THE ENTROPY LUCIAN RADU. Metric entropy Let (X, B, µ a measure space and I a countable family of indices. Definition. We say that ξ = {C i : i I} B is a measurable partition if:
More informationMATHS 730 FC Lecture Notes March 5, Introduction
1 INTRODUCTION MATHS 730 FC Lecture Notes March 5, 2014 1 Introduction Definition. If A, B are sets and there exists a bijection A B, they have the same cardinality, which we write as A, #A. If there exists
More informationERGODIC AVERAGES FOR INDEPENDENT POLYNOMIALS AND APPLICATIONS
ERGODIC AVERAGES FOR INDEPENDENT POLYNOMIALS AND APPLICATIONS NIKOS FRANTZIKINAKIS AND BRYNA KRA Abstract. Szemerédi s Theorem states that a set of integers with positive upper density contains arbitrarily
More informationGaussian automorphisms whose ergodic self-joinings are Gaussian
F U N D A M E N T A MATHEMATICAE 164 (2000) Gaussian automorphisms whose ergodic self-joinings are Gaussian by M. L e m a ńc z y k (Toruń), F. P a r r e a u (Paris) and J.-P. T h o u v e n o t (Paris)
More informationMATH 387 ASSIGNMENT 2
MATH 387 ASSIGMET 2 SAMPLE SOLUTIOS BY IBRAHIM AL BALUSHI Problem 4 A matrix A ra ik s P R nˆn is called symmetric if a ik a ki for all i, k, and is called positive definite if x T Ax ě 0 for all x P R
More informationl(y j ) = 0 for all y j (1)
Problem 1. The closed linear span of a subset {y j } of a normed vector space is defined as the intersection of all closed subspaces containing all y j and thus the smallest such subspace. 1 Show that
More informationAverage laws in analysis
Average laws in analysis Silvius Klein Norwegian University of Science and Technology (NTNU) The law of large numbers: informal statement The theoretical expected value of an experiment is approximated
More informationCHILE LECTURES: MULTIPLICATIVE ERGODIC THEOREM, FRIENDS AND APPLICATIONS
CHILE LECTURES: MULTIPLICATIVE ERGODIC THEOREM, FRIENDS AND APPLICATIONS. Motivation Context: (Ω, P) a probability space; σ : Ω Ω is a measure-preserving transformation P(σ A) = P(A) for all measurable
More informationHILBERT SPACES AND THE RADON-NIKODYM THEOREM. where the bar in the first equation denotes complex conjugation. In either case, for any x V define
HILBERT SPACES AND THE RADON-NIKODYM THEOREM STEVEN P. LALLEY 1. DEFINITIONS Definition 1. A real inner product space is a real vector space V together with a symmetric, bilinear, positive-definite mapping,
More informationarxiv: v2 [math.ds] 24 Apr 2018
CONSTRUCTION OF SOME CHOWLA SEQUENCES RUXI SHI arxiv:1804.03851v2 [math.ds] 24 Apr 2018 Abstract. For numerical sequences taking values 0 or complex numbers of modulus 1, we define Chowla property and
More informationOn Equivariant Block Triangularization of Matrix Cocyles
On Equivariant Block Triangularization of Matrix Cocyles Christopher Bose, Joseph Horan, Anthony Quas September 24, 24 Abstract The Multiplicative Ergodic Theorem shows that a real matrix cocycle is block
More informationDETERMINISTIC REPRESENTATION FOR POSITION DEPENDENT RANDOM MAPS
DETERMINISTIC REPRESENTATION FOR POSITION DEPENDENT RANDOM MAPS WAEL BAHSOUN, CHRISTOPHER BOSE, AND ANTHONY QUAS Abstract. We give a deterministic representation for position dependent random maps and
More informationHomework for MATH 4604 (Advanced Calculus II) Spring 2017
Homework for MATH 4604 (Advanced Calculus II) Spring 2017 Homework 14: Due on Tuesday 2 May 55. Let m, n P N, A P R mˆn and v P R n. Show: L A pvq 2 ď A 2 v 2. 56. Let n P N and let A P R nˆn. Let I n
More information1. Examples. We did most of the following in class in passing. Now compile all that data.
SOLUTIONS Math A4900 Homework 12 11/22/2017 1. Examples. We did most of the following in class in passing. Now compile all that data. (a) Favorite examples: Let R tr, Z, Z{3Z, Z{6Z, M 2 prq, Rrxs, Zrxs,
More informationWhy do Solutions of the Maxwell Boltzmann Equation Tend to be Gaussians? A Simple Answer
Documenta Math. 1267 Why do Solutions of the Maxwell Boltzmann Equation Tend to be Gaussians? A Simple Answer Dirk Hundertmark, Young-Ran Lee Received: December 20, 2016 Communicated by Heinz Siedentop
More informationMathematical Finance
ETH Zürich, HS 2017 Prof. Josef Teichmann Matti Kiiski Mathematical Finance Solution sheet 14 Solution 14.1 Denote by Z pz t q tpr0,t s the density process process of Q with respect to P. (a) The second
More informationErdinç Dündar, Celal Çakan
DEMONSTRATIO MATHEMATICA Vol. XLVII No 3 2014 Erdinç Dündar, Celal Çakan ROUGH I-CONVERGENCE Abstract. In this work, using the concept of I-convergence and using the concept of rough convergence, we introduced
More informationNonconventional ergodic averages and nilmanifolds
Annals of Mathematics, 161 (2005), 397 488 Nonconventional ergodic averages and nilmanifolds By Bernard Host and Bryna Kra Abstract We study the L 2 -convergence of two types of ergodic averages. The first
More informationSPRING 2006 PRELIMINARY EXAMINATION SOLUTIONS
SPRING 006 PRELIMINARY EXAMINATION SOLUTIONS 1A. Let G be the subgroup of the free abelian group Z 4 consisting of all integer vectors (x, y, z, w) such that x + 3y + 5z + 7w = 0. (a) Determine a linearly
More informationINTERPLAY BETWEEN C AND VON NEUMANN
INTERPLAY BETWEEN C AND VON NEUMANN ALGEBRAS Stuart White University of Glasgow 26 March 2013, British Mathematical Colloquium, University of Sheffield. C AND VON NEUMANN ALGEBRAS C -algebras Banach algebra
More informationConcentration inequalities for linear cocycles and their applications to problems in dynamics and mathematical physics *
Concentration inequalities for linear cocycles and their applications to problems in dynamics and mathematical physics * Silvius Klein Pontifical Catholic University of Rio de Janeiro (PUC-Rio), Brazil
More informationSARNAK S CONJECTURE FOR SOME AUTOMATIC SEQUENCES. S. Ferenczi, J. Ku laga-przymus, M. Lemańczyk, C. Mauduit
SARNAK S CONJECTURE FOR SOME AUTOMATIC SEQUENCES S. Ferenczi, J. Ku laga-przymus, M. Lemańczyk, C. Mauduit 1 ARITHMETICAL NOTIONS Möbius function µp1q 1,µpp 1...p s q p 1q s if p 1,...,p s are distinct
More informationTracial Rokhlin property for actions of amenable group on C*-algebras June 8, / 17
Tracial Rokhlin property for actions of amenable group on C*-algebras Qingyun Wang University of Toronto June 8, 2015 Tracial Rokhlin property for actions of amenable group on C*-algebras June 8, 2015
More information3. (a) What is a simple function? What is an integrable function? How is f dµ defined? Define it first
Math 632/6321: Theory of Functions of a Real Variable Sample Preinary Exam Questions 1. Let (, M, µ) be a measure space. (a) Prove that if µ() < and if 1 p < q
More informationRecall that if X is a compact metric space, C(X), the space of continuous (real-valued) functions on X, is a Banach space with the norm
Chapter 13 Radon Measures Recall that if X is a compact metric space, C(X), the space of continuous (real-valued) functions on X, is a Banach space with the norm (13.1) f = sup x X f(x). We want to identify
More informationLyapunov Exponents of Linear Cocycles *
Lyapunov Exponents of Linear Cocycles * Continuity via Large Deviations Silvius Klein Norwegian University of Science and Technology (NTNU) *based on joint work with Pedro Duarte, University of Lisbon
More informationHomogenization of Random Multilevel Junction
Homogenization of Random Multilevel Junction G.A.Chechkin, T.P.Chechkina Moscow Lomonosov State University & Narvik University College and Moscow Engineering Physical Institute (State University, This
More informationSOLUTIONS Math B4900 Homework 9 4/18/2018
SOLUTIONS Math B4900 Homework 9 4/18/2018 1. Show that if G is a finite group and F is a field, then any simple F G-modules is finitedimensional. [This is not a consequence of Maschke s theorem; it s just
More informationErgodic Theory. Constantine Caramanis. May 6, 1999
Ergodic Theory Constantine Caramanis ay 6, 1999 1 Introduction Ergodic theory involves the study of transformations on measure spaces. Interchanging the words measurable function and probability density
More informationNOTES ON THE REGULARITY OF QUASICONFORMAL HOMEOMORPHISMS
NOTES ON THE REGULARITY OF QUASICONFORMAL HOMEOMORPHISMS CLARK BUTLER. Introduction The purpose of these notes is to give a self-contained proof of the following theorem, Theorem.. Let f : S n S n be a
More informationLECTURE 16: LIE GROUPS AND THEIR LIE ALGEBRAS. 1. Lie groups
LECTURE 16: LIE GROUPS AND THEIR LIE ALGEBRAS 1. Lie groups A Lie group is a special smooth manifold on which there is a group structure, and moreover, the two structures are compatible. Lie groups are
More informationPhysical measures of discretizations of generic diffeomorphisms
Ergod. Th. & Dynam. Sys. (2018), 38, 1422 1458 doi:10.1017/etds.2016.70 c Cambridge University Press, 2016 Physical measures of discretizations of generic diffeomorphisms PIERRE-ANTOINE GUIHÉNEUF Université
More informationMathematische Methoden der Unsicherheitsquantifizierung
Mathematische Methoden der Unsicherheitsquantifizierung Oliver Ernst Professur Numerische Mathematik Sommersemester 2014 Contents 1 Introduction 1.1 What is Uncertainty Quantification? 1.2 A Case Study:
More informationMeasurable functions are approximately nice, even if look terrible.
Tel Aviv University, 2015 Functions of real variables 74 7 Approximation 7a A terrible integrable function........... 74 7b Approximation of sets................ 76 7c Approximation of functions............
More informationIntroduction and Preliminaries
Chapter 1 Introduction and Preliminaries This chapter serves two purposes. The first purpose is to prepare the readers for the more systematic development in later chapters of methods of real analysis
More informationLyapunov exponents of Teichmüller flows
Lyapunov exponents ofteichmüller flows p 1/6 Lyapunov exponents of Teichmüller flows Marcelo Viana IMPA - Rio de Janeiro Lyapunov exponents ofteichmüller flows p 2/6 Lecture # 1 Geodesic flows on translation
More informationCONVERGENCE OF POLYNOMIAL ERGODIC AVERAGES
CONVERGENCE OF POLYNOMIAL ERGODIC AVERAGES BERNARD HOST AND BRYNA KRA Abstract. We prove the L 2 convergence for an ergodic average of a product of functions evaluated along polynomial times in a totally
More informationLebesgue Integration on R n
Lebesgue Integration on R n The treatment here is based loosely on that of Jones, Lebesgue Integration on Euclidean Space We give an overview from the perspective of a user of the theory Riemann integration
More informationBrownian Motion and Conditional Probability
Math 561: Theory of Probability (Spring 2018) Week 10 Brownian Motion and Conditional Probability 10.1 Standard Brownian Motion (SBM) Brownian motion is a stochastic process with both practical and theoretical
More information1.4 Outer measures 10 CHAPTER 1. MEASURE
10 CHAPTER 1. MEASURE 1.3.6. ( Almost everywhere and null sets If (X, A, µ is a measure space, then a set in A is called a null set (or µ-null if its measure is 0. Clearly a countable union of null sets
More informationCHRISTENSEN ZERO SETS AND MEASURABLE CONVEX FUNCTIONS1 PAL FISCHER AND ZBIGNIEW SLODKOWSKI
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 79, Number 3, July 1980 CHRISTENSEN ZERO SETS AND MEASURABLE CONVEX FUNCTIONS1 PAL FISCHER AND ZBIGNIEW SLODKOWSKI Abstract. A notion of measurability
More informationLebesgue Measure. Dung Le 1
Lebesgue Measure Dung Le 1 1 Introduction How do we measure the size of a set in IR? Let s start with the simplest ones: intervals. Obviously, the natural candidate for a measure of an interval is its
More informationPart V. 17 Introduction: What are measures and why measurable sets. Lebesgue Integration Theory
Part V 7 Introduction: What are measures and why measurable sets Lebesgue Integration Theory Definition 7. (Preliminary). A measure on a set is a function :2 [ ] such that. () = 2. If { } = is a finite
More informationFinal Exam Practice Problems Math 428, Spring 2017
Final xam Practice Problems Math 428, Spring 2017 Name: Directions: Throughout, (X,M,µ) is a measure space, unless stated otherwise. Since this is not to be turned in, I highly recommend that you work
More information